Abstracting Dependencies between Software Connguration Items
نویسنده
چکیده
ing Dependencies between Software Con guration Items Carl A. Gunter University of Pennsylvania http://www.cis.upenn.edu/~gunter Abstract This paper studies an abstract model of dependencies between software con guration items based on a theory of concurrent computation over a class of Petri nets called production nets. A general theory of build optimizations and their correctness is developed based on a form of abstract interpretation called a build abstraction; these are created during a build and used to optimise subsequent builds. Various examples of such optimizations are discussed. The theory is used to show how correctness properties can be characterized and proved, and how optimizations can be composed and compared.
منابع مشابه
Using Programmed Graph Rewriting for the Formal Specification of a Configuration Management System
Due to increasing complexity of hardware and software systems , connguration management has been receiving more and more attention in nearly all engineering domains (e.g. electrical, mechanical, and software engineering). This observation has driven us to develop a con-guration management model (called CoMa) for managing systems of engineering design documents. The CoMa model integrates composi...
متن کاملFormalizing Con guration Knowledge Using Rules with Choices
This paper studies the formal underpinnings of the product connguration problem. A rule-based language is proposed for expressing typical forms of knowledge interactions in connguration models, i.e. choices, dependencies between choices, optionality and defaults. The language is equipped with a declarative semantics that provides formal deenitions for the main concepts in product connguration, ...
متن کاملApproach to Improving
Software connguration management (SCM) is one of the areas closely related to achieving and maintaining quality of software in a broader sense. Our approach to the problem of building a software system connguration is based on an assumption that explicit repesentation of important properties of software components can be utilized for both improving the process of building the connguration, and ...
متن کاملProviding Connguration Management Support in Software Engineering Environments Providing Connguration Management Support in Software Engineering Environments
Software connguration management (SCM or CM) is a key element of any software development project. A software engineering environment should not only provide support for software products and software processes in general, but also pay attention to high level software engineering concepts like connguration management. In this paper, we present an overview of our approach to software engineering...
متن کاملPost-deployment Connguration Management
Connguration management must move beyond its traditional development-time concerns with source les. Future software systems will be delivered in binary form and will be composed from pre-existing systems. The term Post-Deployment Connguration Management is proposed to address the problems introduced in managing these new kinds of versioned conngurations.
متن کامل